ATG Interviews Alison Mudditt

Alison Cawsey

Alison Cawsey passed away in June 2009. She was a remarkable person and her death is a profound professional and personal loss. Born in 1963, Alison grew up in the south of England and, from 1981 to 1984, studied Natural Sciences at Jesus College Cambridge. During this period she met her life partner Richard. Alison always excelled academically but not always in the sporting arena; however, at ...

Wccmt Case Study – Alison Ritchie

Hepatotoxicity induced by horse ATG and reversed by rabbit ATG: a case report

BACKGROUND The use of antilymphocyte agents has improved patient and graft survival in hematopoietic stem cell and solid organ transplantation but has been associated with the development of short-term toxicities as well as long-term complications. CASE PRESENTATION We report a young female with Fanconi anemia who received antithymocyte globulin as part of the conditioning regimen prior to he...

THE FUTURE OF THE PAST by Alison

When AnthroNotes began publishing in 1979, what we knew about human evolution and how we studied it differed significantly from today. Field research among wild populations of great apes by Jane Goodall (chimpanzees), Dian Fossey (mountain gorillas), and Birute Galdikas (orangutans) had provided exciting new data for modeling the likely capabilities of our earliest ancestors. Ecologically focus...

The Temporal Rover and the ATG Rover

The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time Temporal Logic (LTL) and Metric Temporal Logic (MTL), with conventional simulation/execution based testing. The Temporal Rover is tailored for the verification of complex protocols and reactive systems where behavior ...